dotty.exe a.txt